Synthesizing Reconfigurable Sequential Machines Using Tabular Models

Two common problems we face in implementing reconngurable systems on currently available FPGA chips are: (1) tting designs which are too big for available hardware resources on a single FPGA chip, (2) lack of synthesis tools for high-level speciications. One solution to address the rst problem is partial reconnguration or run-time recon-guration which requires only loading a portion of the design onto a FPGA chip at one time. In this paper, we present a synthesis methodology which starts from high-level system speciications and synthesizes run-time reconngurable systems. Our approach uses tabular models as intermediate data structures. Tabular representations provide a convenient platform for separating control and data-path, and dividing the data-path into separate control-paths. This makes our approach very useful in synthesis targeted at implementations that depend on run-time reconnguration to t bigger designs on currently available FPGA chips.